En el conjunto de los tipos ordinales se incluyen:
● Tipo de dato entero,
● Tipo de dato caracter,
● Tipo de dato lógico (booleano),
● Tipo de dato enumerado y
● Tipo de dato subrango

Un tipo ordinal define un conjunto ordenado de valores en los cuales cada valor, excepto el primero, tienen un único predecesor y cada valor, excepto el ultimo, tienen un único sucesor. Más aún, cada valor tiene una ordinalidad, la cual determina el orden del tipo.

Para los tipos entero la ordinalidad de un valor es el valor por sí mismo; para todo el resto de los tipos ordinales, excepto los subrangos, el primer valor tiene ordinalidad 0 (cero), el siguiente valor tiene ordinalidad 1 (uno) y así sucesivamente. Si un valor tiene ordinalidad n, su predecesor tiene ordinalidad n-1 y su sucesor tiene ordinalidad n+1.